מבוא לחוגים ומודולים עוזי וישנה

Transcript

1 מבוא לחוגים ומודולים עוזי וישנה 25 באוקטובר 2015

2 מבוא לחוגים ומודולים מהדורה הקדמה. תורת החוגים עשירה בשיטות ורעיונות, וחובקת דוגמאות מכל תחומי המתמטיקה. קורס ראשון בתחום מוגבל, מטבע הדברים, למושגים הפשוטים יותר. אחרי פרק מבוא כללי, המציג חוגים, אידאלים והומומורפיזמים, הפרק השני נותן הצצה לתורת המבנה ועוסק בכמה מחלקות חשובות של חוגים, ובטכניקה היסודית של מיקום ביחס לאידיל ראשוני. הפרק השלישי מוקדש לתחומי שלמות, שהם החוגים החשובים ביותר מנקודת המבט של תורת המספרים והגאומטריה האלגברית. הפרק הרביעי מוקדש לפולינום מעל תחומי שלמות, ובמיוחד מעל שדות. הפרק החמישי הוא מבוא לתורת המודולים, שהם המרחבים שעליהם פועלים החוגים השונים. חוברת זו ערוכה ומסודרת לפי תוכנית הלימודים בקורס 'אלגברה מופשטת 2' לתלמידי מתמטיקה, , באוניברסיטת בר אילן. הקורס (בהיקף של ארבע שעות הרצאה ושעתיים תרגיל, לאורך סמסטר אחד) הוא קורס שני באלגברה מודרנית (אחרי קורס סמסטריאלי בחבורות), והוא מכסה את היסודות של תורת החוגים, ואת תורת המודולים מעל תחומים ראשיים, עם היישומים של תורה זו לאלגברה לינארית. לצד החוברת הזו, ניתן להעזר גם בחוברת תרגילים השייכת לאותו קורס. החומר מחולק לסעיפים ותת סעיפים, המסודרים כך שמושגים חיוניים יופיעו מוקדם ככל האפשר, תוך שילוב של כמה דוגמאות נחוצות. בכל נושא מובאות ההגדרות והתוצאות העיקריות, כשהן פרושות לתרגילים קצרים ונוחים לעיכול. כל טענות העזר והשיטות הסטנדרטיות נוסחו כתרגילים. המהדורה הארוכה, המונחת לפניכם, כוללת הדרכה מפורטת ולפעמים פתרון מלא לתרגילים רבים, בעיקר אלו שיש להם אופי תאורטי יותר. סדר התרגילים בתוך כל סעיף נבחר בזהירות, כשכל תרגיל מופיע מיד כאשר הונחה התשתית לרעיונות הדרושים כדי לפתור אותו (אך בכפוף לאילוץ המקובל, והמתסכל במידת מה, הקובע שסדר המשפטים בעמוד מוכרח להיות קווי). תרגילים השייכים לאותה מדרגה לוגית מופיעים בסדר יורד של מידת הכלליות והעניין. החידוש, במידה שיש כאן כזה, הוא בהצמדת דרגת קושי לכל תרגיל: תרגילים קלים, מדרגה (*), דורשים בדרך כלל שליטה בהגדרות ותו לא; את רובם של אלה אפשר - ורצוי - לפתור בעל פה, תוך ציון ההגדרה או העובדה הרלוונטית. תרגילים טכניים מורכבים, לא רגילים או סתם קשים סומנו ב (***). שאר התרגילים קיבלו את הציון (**). סימנים נוספים, כמו ב (**+) או (** ), מציינים שהתרגיל עשוי להיות קשה או קל יותר מכפי שנראה במבט ראשון. במספר מקומות הרחבנו מעבר לרמה הנדרשת בקורס. כל התרגילים מנוסחים בלשון זכר, ועם הלומדות הסליחה. אודה לכל מי שיביא לתשומת ליבי שגיאות מתמטיות, השמטות, כפילויות או שגיאות כתיב, כדי שאוכל לתקנן במהדורה הבאה. עוזי וישנה,

3 תוכן עניינים 9 חוגים ואידיאלים מושגי יסוד איברים של חוגים איבר האפס קומוטטיביות 10 אברי יחידה איברים הפיכים חוגים עם חילוק 14 מחלקי אפס ואיברים רגולריים תחומים ותחומי שלמות אברים נילפוטנטיים המאפיין תת חוגים תת חוגים בלי יחידה המר כז והמרכ ז יוצרים של תת חוג חוגים לא אסוציאטיביים חוגים אלטרנטיביים חוגי לי חוגי ז'ורדן 21 חוגים לא אסוציאטיביים עם חילוק איזוטופיות 23 אידיאלים וחוגי מנה אידיאלים חד צדדיים ודו צדדיים איחוד וחיתוך קבוצת יוצרים 25 אידיאלים אמיתיים

4 תוכן עניינים תוכן עניינים 26 סכום ומכפלה של אידיאלים סכומים סופיים וכלליים מכפלה סריג האידיאלים מאפסים חוגי מנה הומומורפיזמים הומומורפיזמים של חוגים בלי יחידה הגרעין והתמונה חוגים איזומורפיים משפטי האיזומורפיזם תת החוג היסודי הומומורפיזם ויוצרים החוג החופשי דוגמאות ובניה של חוגים בניות קלאסיות חוג השלמים מטריצות חוג האנדומורפיזמים 40 פולינומים מכפלה ישרה של חוגים סכום ישר של חוגים אלגברות אלגברות חבורה אלגברת הקווטרניונים חוגים סדורים איחוד על שרשראות גבול ישר חוגים טופולוגיים טורי לורן מעל תחום הערכות בדידות טורי לורן בשני משתנים טורי חזקות דועכים מעל שדה הערכה גבול הפוך 2 אידיאלים ראשוניים ומקסימליים אידיאלים מקסימליים קיומם של אידיאלים מקסימליים

5 תוכן עניינים תוכן עניינים אידיאלים מינימליים אידיאלים מקסימליים של חוגי פונקציות 58 חוגים פשוטים הקשר לאידאלים מקסימליים חוגים פשוטים קומוטטיביים 59 בניה של חוגים פשוטים חוגים n פשוטים פירוק למכפלה ישרה אידיאלים קו מקסימליים משפט השאריות הסיני אידמפוטנטים אידמפוטנטים מרכזיים בתורת המבנה 64 פירוק פירס חוגים בוליאניים חוגים מקומיים שדה המספרים הממשיים מסננים וחוגים בוליאניים אידיאלים ראשוניים חוגים ראשוניים אידיאלים ראשוניים רדיקלים מיקום ושדה השברים מיקום מרכזי הכללה למקרה הלא רגולרי האוניברסליות של המיקום האידיאלים של S 1 R חוג השברים הטוטאלי 83 מיקום באידיאל ראשוני שדה השברים תחומי שלמות חוגי שלמים ריבועיים האינוולוציה, העקבה והנורמה איברים ראשוניים ואי פריקים יחס החילוק תאור לפי אידיאלים איברים הפיכים איברים הפיכים של. O D

6 תוכן עניינים תוכן עניינים איברים אי פריקים איברים ראשוניים פירוק לגורמים חוגים אטומיים חוגים נותריים תחומי פריקות יחידה תחומים ראשיים מחלק משותף מקסימלי תחומי gcd תחומי בזו 104 כפולה משותפת מינימלית חוגים אוקלידיים אוקלידיות של חוגים סמוכים אוקלידיות של חוגי שלמים הראשוניים של 1] Z[ שימושים נוספים בתורת המספרים תנאי הכרחי לאוקלידיות 113 קוואזי אוקלידיות פולינומים ושדות מבוא לתורת השדות ממד של אלגברות הפולינום המינימלי שורשים ושדה מפצל סיפוח שורשים 118 פירוק של פולינומים שורשים רציונליים קריטריון אייזנשטיין הלמה של גאוס תכולה של פולינום 121 הלמה של גאוס פירוק פולינומים מעל תחום פריקות יחידה מודולים מבוא הגדרה ודוגמאות מושגי יסוד תת מודולים 6

7 תוכן עניינים תוכן עניינים מודול מנה סכום של תת מודולים מכפלה ישרה וסכום ישר הומומורפיזמים 128 אלגברה לינארית של מודולים מודולים חופשיים אינווריאנטיות הדרגה מודולים ציקליים פיתול מודול נאמן מודולים מעל תחום ראשי מטריצות מעל תחום ראשי הצורה האלכסונית הקנונית יחידוּת הצורה האלכסונית מודולים נוצרים סופית מטריצת היחסים 139 מטריצות יחסים דומות פירוק למרכיבים ציקליים מיון החבורות האבליות הנוצרות סופית צורות קנוניות של מטריצות מעל שדה מרחב וקטורי כמודול לפי מטריצה מחלקות צמידות הצורה הרציונלית המטריצה המלווה של פולינום צורת ז'ורדן

8 תוכן עניינים תוכן עניינים 8

9 פרק 1 חוגים ואידיאלים הפרק הראשון עוסק במושגי היסוד של תורת החוגים: המבנים האלגבריים חוג בלי יחידה וחוג; האברים המיוחדים בחוג בלי יחידה; תת חוגים, אידיאלים חד צדדיים ודו צדדיים; הומומורפיזמים וחוגי מנה; ומציג גם רשימה ארוכה של דוגמאות ודרכים לבנות חוגים חדשים מחוגים קיימים. 1.1 מושגי יסוד בסעיף זה נגדיר חוגים, שהם האובייקטים המרכזיים של הקורס; נציג כמה תכונות פשוטות של אברים בחוג; וניתן שמות הולמים לחוגים שאבריהם מפגינים התנהגות מעניינת. הגדרה מערכת מתמטית,+ ;0 ;R (שבה הפעולות,+ נקראת 'חיבור' ו'כפל' בהתאמה) נקראת חוג בלי יחידה אם + ;0 ;R חבורה אבלית, ופעולת הכפל היא אסוציאטיבית ודיסטריבוטיבית (מימין ומשמאל) ביחס לחיבור. הגדרה אם R חוג בלי יחידה, החבורה + ;0 ;R נקראת החבורה החיבורית של R. להלן כמה דוגמאות מוכרות: חוג המספרים השלמים; כל שדה, כמו הרציונליים Q או הממשיים R; והחוג של מטריצות מעל שדה, כמו (Q) M. n איברים של חוגים במבוא לתורת החוגים מגדירים חבורה למחצה כמערכת מתמטית שיש לה פעולה אסוציאטיבית. בחבורה למחצה יכולים להיות אברי יחידה מימין ומשמאל, ואיבר יחידה (דו צדדי). חבורה למחצה שיש בה איבר יחידה נקראת מונויד. במונויד, איבר 9

10 1.1. מושגי יסוד פרק 1. חוגים ואידיאלים יכול להיות הפיך מימין ומשאל, או הפיך (משני הצדדים). מונויד שבו כל האיברים הפיכים נקרא חבורה. גם בתורת החוגים, הצעד הראשון הוא לזהות כמה איברים מיוחדים, כדי שנוכל להגדיר מהו חוג (''חוג בלי יחידה'' שיש לו יחידה). משם נתקדם ללמוד איברים יותר מעניינים, שלחלקם יש מקבילה בתורת המונוידים. מן התכונות האלה מתקבלות כמה משפחות מעניינות של חוגים; הדוגמא הידועה ביותר היא שדה, שאינו אלא חוג קומוטטיבי שבו כל האברים הפיכים. איבר האפס תרגיל (*) האיבר 0 בחוג מקיים = 0 0 x x = 0 לכל ;x R ותכונה זו מאפיינת אותו (כלומר, אם z x = z לכל x, אז = 0 z). לכן הוא נקרא אבר האפס, בהא הידיעה: יש רק אחד כזה. הדרכה. = קומוטטיביות הגדרה אברים,a b בחוג הם מתחלפים אם.ab = ba אם כל האברים בחוג מתחלפים זה עם זה, הוא נקרא חוג קומוטטיבי. אברי יחידה הגדרה יהי R חוג בלי יחידה. איבר e R הוא יחידה מימין אם xe = x לכל x, R ויחידה משמאל אם ex = x לכל x. R אם e יחידה גם מימין וגם משמאל, הוא נקרא איבר יחידה. המינוח 'חוג בלי יחידה' אינו בא לייחס למערכת המתמטית הזו תכונה שלילית כלשהי, אלא רק לומר שאיבר היחידה נעדר מן ההגדרה. מיד נראה שלחוג בלי יחידה יכול שיהיה איבר יחידה, ובמקרה כזה נקרא לו חוג. דוגמא חוג השלמים Z הוא 'חוג בלי יחידה', שיש בו איבר יחידה: המספר 1. לעומת זאת, 2Z הוא חוג בלי יחידה, שאין בו איבר כזה. תרגיל (*) אם יש בחוג יחידה מימין e ויחידה משמאל e אז יש בחוג איבר יחידה. הדרכה. e.e = e e = תרגיל (*) היחידה יחידה (אם היא קיימת). כלומר, בחוג לא יכולים להיות שני אברי יחידה. הדרכה. קל וחומר מתרגיל

11 חוגים ואידיאלים 1.1. מושגי יסוד פרק 1. יש יחידה מימין איבר יחידה יש יש יחידה משמאל יש אידמפוטנטים איבר היחידה מוגדר לפי האינטרקציה שלו עם אברים אחרים; אבל יש לו גם תכונה פנימית: = כל יחידה מימין או משמאל מקיימת את השוויון הזה. בעקבות זאת, כל איבר e R המקיים e 2 = e נקרא אידמפוטנט. הדיאגרמה משמאל מציגה היררכיה גסה של טיפוסי חוגים. לפי תרגיל 1.1.7, אם יש בחוג איבר יחידה, אז אין בו יחידות נספות. לעומת זאת, יכולים להיות בחוג אידמפוטנטים רבים; נעסוק באברים כאלה בתת סעיף הגדרה חוג בלי יחידה שיש לו איבר יחידה נקרא חוג (ולפעמים, לשם הדגשה, חוג עם יחידה). כאשר יש איבר יחידה, הוא יחיד (תרגיל 1.1.8), ולכן נסמן את איבר היחידה בסימון השמור 1. כשיש סכנה לבלבול, מסמנים את היחידה של R בסימון 1. R אפשר לפתח חלקים נכבדים מן התאוריה בקורס הזה עבור חוגים בלי יחידה; אלא שלרוב הדוגמאות החשובות יש יחידה, ולכן נתרכז בחוגים כאלה. ראו גם תרגילים , , המדגימים שתכונות מסויימות מסוגלות לייצר איבר יחידה; ותרגיל (עמ' 33), המלמד שכל חוג בלי יחידה אפשר להרחיב לכדי חוג עם יחידה. תרגיל (**) אם 1 R = 0 R (ובאופן כללי יותר, אם איבר האפס הוא איבר יחידה ימני או שמאלי) אז {0} = R; זהו חוג האפס. כלומר, בכל חוג שאינו אפס, איברי האפס והיחידה שונים. חוג בלי יחידה A 0 הוא טריוויאלי אם = 0 0,A 2 כלומר לכל x, y A 0 מתקיים = 0.xy בחוג כזה מוגדרת למעשה רק החבורה החיבורית, ומאידך על כל חבורה אבלית אפשר להגדיר מבנה של חוג טריוויאלי. לכן מקומם של חוגים טריוויאליים אינו בקורס על תורת החוגים, אלא בקורס בתורת החבורות האבליות. תרגיל (*) חוג עם יחידה אינו טריוויאלי, אלא אם הוא חוג האפס. דוגמא דוגמאות לחוגים קומוטטיביים: Z n = Z/nZ,C,R,Q,Z (השאריות מודולו n, עם החיבור והכפל מודולו n). דוגמאות לחוגים לא קומוטטיביים: (Q) M, n.m n (R) איברים הפיכים האמור בסעיף זה מתייחס למונויד הכפלי 1,,R, בלי קשר לפעולת החיבור, והוא תקף בכל מונויד. 11

12 1.1. מושגי יסוד פרק 1. חוגים ואידיאלים הגדרה יהי R חוג. איבר x R הוא הפיך מימין אם קיים איבר y R כך ש = 1 xy (במקרה כזה y נקרא 'הפכי מימין' של x), והפיך משמאל אם קיים z כך ש = 1 zx (z הוא 'הפכי משמאל' של x). האיבר x הוא הפיך אם קיים y כך ש = 1 yx.xy = אם איבר הפיך, אז הוא בוודאי הפיך מימין ומשמאל. בחוג קומוטטיבי כל המושגים האלה מתלכדים, אבל באופן כללי האפשרויות פתוחות: איבר יכול להיות לא הפיך מימין וגם לא הפיך משמאל; הוא יכול להיות הפיך מימין אבל לא משמאל, או להיפך; ויכולים להיות לו הפכיים ימניים רבים או הפכיים שמאליים רבים. בתרגיל (עמ' 39) ניתן דוגמא לאיבר הפיך משמאל אבל לא מימין (ולהיפך). עם זאת: תרגיל (*) אם x הפיך מימין ומשמאל אז הוא הפיך, ויש לו הפכי יחיד. הערה. הטענה אינה טריוויאלית משום שההנחה היא שקיימים,y z כך ש 1 = xz,yx = אבל א פריורי איננו יודעים ש z y. = לכן, אם x הפיך, אפשר לסמן את ההפכי שלו בסימון 1 x. תרגיל (*) אם x הפיך אז גם 1 x הפיך ו.(x 1 ) 1 = x תרגיל (*) אם,x y הפיכים, אז גם xy הפיך. תרגיל (**) בחוג קומוטטיבי, אם xy הפיך אז גם,x y הפיכים. הערה. טענה זו נכונה לפעמים גם בחוגים לא קומוטטיביים (למשל בחוגי מטריצות מעל שדה), אבל לא באופן כללי: ראו תרגיל (עמ' 39). הגדרה מסמנים ב R את אוסף האברים ההפיכים של R; זוהי חבורת ההפיכים של R. תרגיל (**) לכל חוג R R, היא אכן חבורה. חוגים עם חילוק הגדרה חוג A שבו פעולות הכפל מימין ומשמאל l a : x ax ומימין r a : x xa הפיכות (כפונקציות (A A לכל 0 a, נקרא חוג עם חילוק. תרגיל (+*) התכונות הבאות שקולות עבור חוג A:.a הוא חד חד ערכי לכל 0 l a.1.a הוא חד חד ערכי לכל 0 r a.2 3. A הוא תחום (היינו אין בו מחלקי אפס). 12

13 חוגים ואידיאלים 1.1. מושגי יסוד פרק 1. תרגיל (+**) התכונות הבאות שקולות עבור חוג A (עם יחידה):.a הוא על לכל 0 l a.1.a הפיך לכל 0 l a.2 3. כל איבר שונה מאפס של A הוא הפיך מימין. 4. כל איבר שונה מאפס של A הוא הפיך. 5. A הוא חוג עם חילוק. הדרכה. :(1) (2) ברור. :(3) (1) יהי 0,a אז לפי ההנחה יש a כך ש 1 = ) a(a.aa = l :(4) (3) יהי 0,a אז לפי ההנחה יש 0 a כך ש 1 =,aa ויש a כך ש 1 = a ;a כעת a = aa a = a ולכן 1 a.a = :(5) (4) לכל 0,a l a 1 l a = l al a 1 = 1 ו 1 = 1 a.r a 1r a = r ar :(2) (5) ברור. תרגיל ( ***) התכונות הבאות שקולות עבור חוג בלי יחידה 0 0 A:.a הוא על לכל 0 l a.1.a הפיך לכל 0 l a.2 A 0 3. הוא חוג עם יחידה, עם חילוק. הדרכה. :(1) (3) ברור. :(2) (1) לפי ההנחה ar = l a (R) = R לכל 0.a נניח ש 0 b,a, אז,abR = ar = R ולכן 0.ab הוכחנו ש R תחום, וזה מספיק לפי תרגיל (2) (3): מכיוון שכל אופרטורי הכפל משמאל חד חד ערכיים, A 0 הוא תחום. לפי ההנחה a. l a(a 0 ) = aa 0 מכאן, לפי תרגיל , שיש ב A 0 איבר יחידה. כעת אפשר ליישם את הגרירה (2) (5) בתרגיל תרגיל (*) A הוא חוג עם חילוק אם ורק אם יש ב A פתרון יחיד x לכל משוואה ax = b או xa = b שבה 0.a תרגיל (**) הוכח, בחוג עם חילוק R, את זהות :Hua לכל,x, y R אם 0 y ו 1 y x 0, אז מתקיים (x 1 + (y 1 x) 1 ) 1 = x xyx. תרגיל (**+) אם לכל 0 a קיים x R כך ש 1 =,xax אז R הוא חוג עם חילוק. (ראה גם תרגיל תרגיל (עמ' 60).) 13

14 1.1. מושגי יסוד פרק 1. חוגים ואידיאלים הגדרה שדה הוא חוג קומוטטיבי עם חילוק. אנו מכירים שדות רבים: C R, Q, או Z p כאשר p ראשוני (באלה נטפל בזהירות בהמשך). לעומת זאת, בניה של חוג עם חילוק שאינו שדה היתה אתגר לא פשוט, ורק ב 1843 מצא ויליאם רואן המילטון את הדוגמא הראשונה (ראו תת סעיף 1.3.2). גם את הדוגמא הזו נציג בהמשך. חוגים עם חילוק דומים לשדות, בכך שאפשר לפתח מעליהם אלגברה לינארית: אפשר להגדיר מעליהם מרחבים וקטוריים, למרחב וקטורי מעל חוג עם חילוק יש בסיס, יש ממד מוגדר היטב, אפשר לייצג העתקות לינאריות כמטריצות, אפשר לדרג מטריצות בפעולות אלמנטריות, וכו'. חסרון בולט לתאוריה הזו הוא בכך שאין דטרמיננטה. מעל שדה, הדטרמיננטה היא פונקציה כפלית F (.det : GL n F) תכונה זו אינה ניתנת להכללה: מעל חוג עם חילוק הדטרמיננטה המוגדרת לפי סכום מתחלף של המכפלות על אלכסונים מוכללים אינה כפלית. עם זאת יש הומומורפיזם חלש יותר, R/,GL n (R) R הנקרא דטרמיננטת דודונה.(Dieudonné) מחלקי אפס ואיברים רגולריים הגדרה אם 0 z z, מקיימים = 0,zz אז z נקרא מחלק אפס שמאלי, ו z מחלק אפס ימני. איבר שונה מאפס שאינו מחלק אפס שמאלי הוא רגולרי משמאל, ואיבר שאינו מחלק אפס ימני הוא רגולרי מימין. איבר שהוא רגולרי גם מימין וגם משמאל נקרא רגולרי. תרגיל (*) אם z רגולרי משמאל אז הוא ניתן לצמצום משמאל: מ = zx.x = x נובע zx תרגיל (**) נניח ש z הוא מחלק אפס שמאלי. אז לכל xz x, R מחלק אפס שמאלי אלא אם = 0.xz תרגיל (**) קבוצת האברים הרגולריים של R סגורה לכפל. תרגיל (+**) יהיו R חוג ו R a. נסמן ב l a את פעולת הכפל משמאל.x xa את פעולת הכפל מימין r a וב,x ax 1. a l חד חד ערכי אם ורק אם a רגולרי משמאל. 2. a l על אם ורק אם a הפיך מימין. הדרכה. לחוג יש איבר יחידה..3 אם l a על אז r a חד חד ערכי. 4. אם a רגולרי משמאל והפיך מימין, אז הוא הפיך. הדרכה. = 0 (1 a.a(a 14

15 חוגים ואידיאלים 1.1. מושגי יסוד פרק 1..5 מארבעת התנאים " a l חד חד ערכי'', " a l על'', " a r חד חד ערכי'', " a r על'' אפשר לכאורה להרכיב 2 4 הנחות על a. הראה שהן מצטמצמות למעשה ל 6 האפשרויות הבאות (נוסף על קבוצת ההנחות הריקה): הפיך הפיך מימין רגולרי הפיך משמאל רגולרי משמאל רגולרי מימין מכיוון שמחלקי אפס מרחיקים את החוג מלהיות שדה, שהוא החוג ה'מוצלח' ביותר, חשוב לנו להכיר חוגים שבהם יש הרבה אברים רגולריים. תרגיל (+*) אם כל האברים של R רגולריים משמאל, אז כולם רגולריים גם מימין. תחומים ותחומי שלמות הגדרה חוג שאין בו מחלקי אפס נקרא תחום. חוג קומוטטיבי בלי מחלקי אפס נקרא תחום שלמות. טענה בתחום מתקיימות תכונת הצמצום מימין (כלומר, מ xy = x y עם 0 y נובע x x); = ותכונת הצמצום משמאל. תרגיל (*) חוג עם חילוק הוא תחום. שדה חוג עם חילוק תחום שלמות תחום בפי שהסברנו בסעיף הראשון, אנו עוסקים לאורך כל הקורס בחוגים עם יחידה. בכמה מקרים אפשר לקבל את היחידה בחינם, בלי שנצטרך להניח את קיומה מראש. תרגיל (*) אידמפוטנט בתחום בלי יחידה הוא איבר (ה)יחידה. הדרכה. הגדרנו תחום בהגדרה גם ללא איבר יחידה, = 0 a e(a ea) = ea e 2 גורר ea = a לכל,a וכך גם מימין. הערה. בתחום עם יחידה אין אידמפוטנטים לא טריוויאליים בגלל = 0 (e 1)e. תרגיל (*) בתחום, כל איבר הפיך משמאל הוא הפיך. הדרכה. אם = 1 xy אז.yx ולכן = 1 (yx) 2 = yxyx = yx תרגיל (**) כל תחום סופי הוא חוג עם חילוק. הדרכה. כל מונויד סופי עם צמצום הוא חבורה. 15

16 1.1. מושגי יסוד פרק 1. חוגים ואידיאלים אברים נילפוטנטיים הגדרה איבר a R הוא נילפוטנטי אם קיים 1 n כך ש 0 = n.a תרגיל (*) כל איבר נילפוטנטי (שונה מאפס) הוא מחלק אפס. תרגיל (**) בחוג קומוטטיבי, אם a נילפוטנטי אז לכל x גם ax נילפוטנטי. תן דוגמא נגדית לטענה זו בחוג שאינו קומוטטיבי. תרגיל (**) בחוג קומוטטיבי, סכום של איברים נילפוטנטיים הוא נילפוטנטי. תרגיל (**) אם a R נילפוטנטי אז a 1 הפיך. המאפיין 1, אם קיים כזה, } + {{ + 1 } הגדרה יהי R חוג. המספר > 0 n הקטן ביותר כך ש = 0 n נקרא המאפיין של R. אם לא קיים n כזה, אומרים שהמאפיין הוא אפס. דוגמא המאפיין של Z n הוא n, והמאפיין של Z הוא 0. לכל.x R } x + {{ + x } תרגיל (*) אם n הוא המאפיין של R, אז = 0 n תרגיל (**) המאפיין של תחום הוא אפס או מספר ראשוני תת חוגים הגדרה יהי R חוג. תת קבוצה של R נקראת תת חוג אם S סגורה לחיבור, חיסור וכפל, וכוללת את איבר היחידה של R. תרגיל (**) אם S R תת חוג, אז S הוא חוג בזכות עצמו, עם הפעולות המצומצמות מ R. תרגיל (*) תת חוג של חוג קומוטטיבי הוא חוג קומוטטיבי. תרגיל (**) תת חוג של תחום הוא תחום. תת חוג של תחום שלמות הוא תחום שלמות. תרגיל (**) תן דוגמא לתת חוג של שדה שאינו שדה. 16

17 חוגים ואידיאלים 1.1. מושגי יסוד פרק 1. הסיבה לתופעה האחרונה היא הרגישות של תכונת ההפיכות לחוג: בהחלט יתכן ש R a S יהיה הפיך ב R אבל לא ב S (משום ש R a 1 אבל a. 1 S שימו לב. לסימון 1 a יש משמעות רק כאשר ברור מההקשר על איזה חוג R מדובר, שבו a הפיך; באופן כללי, איננו יכולים לבטא את הטענה 'a אינו הפיך ב S ' בסימון a!) 1 S תרגיל ( ***) תהי Λ משפחה של תת חוגים של חוג R. החיתוך S Λ S הוא תת חוג (השווה לתרגיל ). הראה שגם תת חוגים בלי יחידה הגדרה יהי R חוג בלי יחידה. תת קבוצה S R הסגורה לפעולות החיבור, החיסור והכפל נקראת תת חוג בלי יחידה של R. דוגמא חוג (עם יחידה) S עשוי להיות ) ( תת חוג ) בלי ( יחידה של חוג (עם יחידה) 0. במקרה כזה S אינו אחר R, בלי להכיל את איבר היחידה שלו: תת חוג של R, משום שאין להם אותו איבר יחידה. תרגיל (**) לגבי כל אחד מן הבאים בדוק שהוא חוג בלי יחידה; בדוק האם יש לו איבר יחידה; לגבי כל הכלה (לרבות אלו שאינן מפורשות) קבע האם מדובר בתת חוג: ( ) ( ) 0 0 ( ) 0 ( ). כרגיל, אין מניעה לכך ש R או S יהיו חוגים (עם יחידה). תרגיל ( ***) תהי Λ משפחה של תת חוגים בלי יחידה של חוג בלי יחידה S Λ הוא תת חוג בלי יחידה. S הראה שגם החיתוך R. המר כז והמרכ ז הגדרה יהי R חוג. המר כז של R הוא xz}.z(r) = {z R : x R : zx = תרגיל (+*) הראה שהמרכז של חוג הוא תת חוג שלו. תרגיל (**) הוכח שהמר כז של חוג R הוא תת חוג מלא, כלומר, שאם איבר Z(R) α הוא הפיך ב R, אז הוא הפיך כבר ב ( Z(R. הדרכה. לכל x, R.α 1 ומכאן ש ( Z(R,α 1 x xα 1 = α 1 (xα αx)α 1 = 0 17

18 1.1. מושגי יסוד פרק 1. חוגים ואידיאלים בדומה לזה אפשר להגדיר את המרכ ז: הגדרה תהי A R תת קבוצה של חוג. המרכ ז של A הוא C R (A) = {x R : a A : ax = xa}. תרגיל (**) הראה שהמרכז של כל תת קבוצה הוא תת חוג. תרגיל (**) הראה שאם A A אז (A).C R (A ) C R.2 הראה שלכל קבוצה.A C R (C R (A)),A.3 הסק ש ( A ).C R (C R (C R (A))) = C R יוצרים של תת חוג יש שתי דרכים יעילות לתאר תת חוג: דרך אחת היא על ידי משוואות המגדירות את אבריו (למשל, תת החוג של המטריצות המשולשיות עליונות, בתוך חוג המטריצות, מוגדר על ידי האילוצים = 0 ij a לכל.(i > j דרך שניה, כמו בחבורות, היא על ידי קבוצת יוצרים. יהיו R 0 R חוג ותת חוג, ותהי X קבוצה שאבריה מתחלפים עם אברי R. 0 הגדרה תת החוג הנוצר (מעל R) 0 על ידי X הוא חיתוך כל תת החוגים S R המכילים את R 0 ואת X. מסמנים תת חוג זה בסימון [X] R. 0 אם R, 0 [X] = R אומרים ש R נוצר על ידי.X אם הקבוצה } k X = {a 1,..., a סופית, מסמנים ] k.r 0 [X] = R 0 [a 1,..., a במקרה זה אומרים ש R נוצר סופית מעל R. 0 תרגיל (*) תת החוג הנוצר על ידי X הוא תת החוג הקטן ביותר (ביחס להכלה) בין כל תת החוגים המכילים את R 0 ואת X. תרגיל (**) נניח ש R חוג קומוטטיבי (די בכך ש ( Z(R a). אז = [a] R 0.{α α n a n : α 0,..., α n R 0 } תרגיל (***) מצא קבוצת יוצרים של Q מעל Z. הראה שאין קבוצת יוצרים סופית כזו. מצא קבוצת יוצרים מינימלית (כלומר, כזו שאין לה תת קבוצה אמיתית היוצרת בעצמה.) 18

19 חוגים ואידיאלים 1.1. מושגי יסוד פרק חוגים לא אסוציאטיביים החוגים שהגדרנו בסעיף הראשון, ושנלמד בכל שאר הקורס, מקיימים את כונהת האסוציאטיביות של הכפל. אם מוותרים על האסוציאטיביות של הכפל התאוריה נעשית כללית מדי, ובדרך כלל אינה מעניינת. עם זאת החלפת האסוציאטיביות בהנחות אחרות מולידה כמה מערכות חשובות. חוג לא אסוציאטיבי הוא מבנה אלגברי עם שתי פעולות, חיבור וכפל, המקיים את האקסיומות המגדירות חוג למעט אולי האסוציאטיביות של הכפל, וקיומו של איבר היחידה. למערכות כאלה יש חשיבות רבה בתחומים שונים של המתמטיקה. אי אסוציאטיביות משמיטה מן התאוריה עובדות שאנו לוקחים כמובנות מאליהן: Ra אינו בהכרח אידיאל שמאלי, איבר הפיך מימין ומשמאל אינו בהכרח הפיך, סכום של אידאלים נילפוטנטים אינו בהכרח נילפוטנטי, ועוד. החוגים שלנו ישארו אסוציאטיביים בכל הסעיפים האחרים של החוברת. כדי להבדיל את פעולת הכפל בחוג לא אסוציאטיבי מן הכפל האסוציאטיבי, משתמשים לפעמים בסמונים אחרים, כגון [b a, b,a], וכדומה. הגדרה בחוג לא אסוציאטיבי,R מגדירים a(bc) ;(a, b, c) = (ab)c ביטוי זה הוא האסוציאטור של.a, b, c תרגיל (*) חוג R הוא אסוציאטיבי אם הוא מקיים את הזהות = 0 (c,a).,b הגדרה המר כז של חוג לא אסוציאטיבי A הוא אוסף האברים a המקיימים = (A,a),A.(A תת חוג של (זהו (A, a, A) = (A, A, a) = [a, A] = 0 חוגים אלטרנטיביים הגדרה חוג נקרא אלטרנטיבי אם הוא מקיים את הזהויות = 0 (b,a),a (b =,a),b (אפשר להכליל ולהגדיר חוג אלטרנטיבי שמאלי או ימני). תרגיל (*) כל חוג אסוציאטיבי הוא אלטרנטיבי. תרגיל (*) בחוג אלטרנטיבי, ) 3 (x σ1, x σ2, x σ3 ) = sgn(σ)(x 1, x 2, x (מכאן שמן של האלגברות האלה). חוג המטריצות מעל חוג לא אסוציאטיבי מוגדר באותה דרך שבה מגדירים מטריצות מעל חוג אסוציאטיבי (הגדרה 1.3.4). תרגיל (**) אם חוג המטריצות (A) M 2 הוא אלטרנטיבי משמאל, אז A מוכרח להיות חוג אסוציאטיבי. 19

20 1.1. מושגי יסוד פרק 1. חוגים ואידיאלים תרגיל (+***) (משפט ארטין) בחוג אלטרנטיבי, כל תת חוג הנוצר על ידי שני אברים הוא אסוציאטיבי. הגדרה חוג לא אסוציאטיבי, שפעולת הכפל שלו b] (a, b) [a, מקיימת a] [a, b] = [b, ואת זהות יעקובי = 0 b],[[a, b], c] + [[b, c], a] + [[c, a], נקרא חוג לי. חוגי לי תרגיל (**) יהי R חוג אסוציאטיבי. החוג R מוגדר כקבוצה R עם אותה פעולת חיבור, ופעולת הכפל,a]. [b = ab ba הראה ש R הוא חוג לי (לפי משפט פואנקרה בירקהוף ויט, כל חוג לי מוכל בחוג מהצורה R). תרגיל (**) מצא זהות מהצורה a] [[a, b], [c, d]] = [[[?,?], a], b]+[[[?,?], b], המתקיימת בכל חוג לי. תרגיל (**) בדוק את הזהות [[[x 1, x 2 ], x 3 ], x 4 ] + [[[x 4, x 3 ], x 2 ], x 1 ] + [[[x 3, x 4 ], x 1 ], x 2 ] + [[[x 2, x 1 ], x 4 ], x 3 ] = 0. תרגיל (**) בדוק את הזהות 4 σ i [[[[x 5, x 4 ], x 3 ], x 2 ] [[[x 5, x 2 ], x 4 ], x 3 ] [[[x 5, x 3 ], x 2 ], x 4 ], x 1 ] = 0 i=0 כאשר σ פועל על המשתנים x 1,..., x 5 באופן ציקלי, i+1.x i x תרגיל (***) ) ex. (Magnus, Karrass and Solitar, Combinatorial Group Theory ; תהי X 1 קבוצה סדורה. הקבוצה X 2 מוגדרת כקבוצת הזוגות x],x, y X 1 ) [y,.y > y ו x = x או x > x אם ורק אם [y, x] > [y, x ] עם יחס הסדר,(y > x הסדר מורחב ל X 1 X 2 לפי הקביעה שכל איבר ב X 2 גדול מכל איבר ב X. 1 יהי 3.n אברי הקבוצה X n הם האברים מהצורה w] [[u, v], כאשר,u X i,i + j + k = n,[u, v] X i+j,w X k,v X j ו v.[u, v] > w הסדר על X n מוגדר כמקודם ]) v [u, v] > [u, אם v v > או v v = ו u ;(u > ומומשך לכל X 1 X n על ידי הקביעה שכל איבר ב X n גדול מכל איבר בקבוצות הקודמות. הוכח שהסדר על X n הוא לינארי. (הקבוצה X n היא בסיס ל"אלגברת לי החופשית הנוצרת על ידי X", 1 שלא נגדיר כאן.) 20

21 חוגים ואידיאלים 1.1. מושגי יסוד פרק 1. חוגי ז'ורדן הגדרה חוג לא אסוציאטיבי שבו 2 הפיך, שפעולת הכפל שלו,a) (b a b מקיימת a b = b a ואת זהות ז'ורדן a)),(a b) (a a) = a (b (a נקרא חוג ז'ורדן. תרגיל (**) יהי R חוג אסוציאטיבי. החוג + R מוגדר כקבוצה R עם אותה פעולת חיבור, ופעולת הכפל a. b = ab + ba הראה ש + R הוא חוג ז'ורדן. תרגיל (***) לכל חוג אלטרנטיבי R + R, הוא חוג ז'ורדן. חוגים לא אסוציאטיביים עם חילוק חוג לא אסוציאטיבי A (לאו דווקא עם יחידה) נקרא חוג עם חילוק אם הפעולות.a לכל 0 (A A הפיכות (כאופרטורים לינאריים r a : x ו xa l a : x ax תרגיל (*) יהי A חוג לא אסוציאטיבית. התכונות הבאות שקולות:.1 כל l a חד חד ערכי,.2 כל r a חד חד ערכי, 3. A הוא תחום (כלומר אין בו מחלקי אפס). הדיאגרמה הבאה מציגה תכונות אפשריות של חוג לא אסוציאטיבי (כשנאמר ''כל a'' הכוונה לכל 0 a), עם הקשרים הלוגיים ביניהן. כל ההגדרות מתלכדות במקרה האסוציאטיבי אל ההגדרה של חוג עם חילוק (זה מוכח בתרגילים ו ). כמו במקרה האסוציאטיבי, איבר a הוא הפיך אם יש b כך ש 1 = ba.ab = יחידה + חילוק חילוק יחידה + a l הפיכים יחידה + a l a, r על כל a הפיך l a הפיכים כל l a, r a על יחידה + כל l a על כל a הפיך מימין ומשמאל כל a הפיך מימין כל l a על 21

22 1.1. מושגי יסוד פרק 1. חוגים ואידיאלים תרגיל (+***) הוסף חצים נכונים לדיאגרמה, אם יש כאלו, ותן דוגמאות נגדיות המראות שאין גרירות אחרות. תרגיל (**) תהי D אלגברת חילוק מממד אינסופי מעל השדה F. נבחר העתקה לינארית חד חד ערכית f : D D שאינה על. נגדיר.a b = f(a)b אז ב (,D) אופרטורי הכפל משמאל הפיכים; אבל אופרטורי הכפל מימין אינם כאלה, ולכן (,D) אינה אלגברת חילוק (אפשר לבחור בנוסף = 1 (1)f כדי לשמור על איבר היחידה). תרגיל (+**) הראה שעבור אלגברות מממד סופי, אם כל l a על, אז A אלגברת חילוק. הסק שהדיאגרמה הקודמת מתכווצת לזו הנתונה לצד התרגיל הזה. הדרכה. תרגיל חילוק + יחידה כל a הפיך חילוק כל a הפיך מימין ומשמאל כל a הפיך מימין תרגיל (+***) האם בחוג עם חילוק (עם יחידה) כל איבר הוא הפיך? מה אם נוסיף את ההנחה שהממד מעל המרכז סופי? תרגיל (+**) [דוגמא: ממד סופי, כל האברים הפיכים, לא אלגברת חילוק]. יהי F שדה. על המרחב הוקטורי A = F + F x + F y נגדיר כפל לפי = 1,xy A הפיך מימין ומשמאל, אבל A הראה שכל איבר של.x 2 = y 2 = 0,yx = 1 אינה אלגברת חילוק. אם = 2,charF הראה שכל אברי A הפיכים, ו A אינה אלגברת חילוק. איזוטופיות יהי A מרחב וקטורי מעל שדה F. שתי פעולות בילינאריות,m m : A A A הן איזוטופיות אם יש העתקות לינאריות הפיכות f, g, h : A A כך ש = y)) h(m (x, g(y)) m(f(x), (זוהי בעצם ''החלפת בסיס'' משולשת, בשתי הכניסות והיציאה של פעולת הכפל). תרגיל (*) יחס האיזוטופיות הוא יחס שקילות על אוסף פעולות הכפל האפשריות על A. תרגיל (*) איזוטופיה שבה f = g = h אינה אלא איזומורפיזם. 22

23 חוגים ואידיאלים 1.2. אידיאלים וחוגי מנה פרק 1. איזוטופיה כללית אינה שומרת על אסוציאטיביות, ולכן הערך שלה בתורת החוגים האסוציאטיבית מוגבל ביותר. עם זאת עבור אלגברות לא אסוציאטיביות יש לה תפקיד מעניין: היא יכולה לייצר אברי יחידה. תרגיל ( **) תהי (,A) אלגברה לא אסוציאטיבית עם איבר u כך ש l u : x ux הפיך. הראה שהפעולה # המוגדרת לפי u(x#y) = xy מגדירה אלגברה איזוטופית, שבה u יחידה משמאל. הדרכה. (uy) = l 1 l u (y) = y.u#y = l 1 u u תרגיל (**) (''הטריק של קפלנסקי'') האלגברה A איזוטופית לאלגברה עם יחידה אם ורק אם יש בה אברים,u v כך ש l u, r v הפיכים. אכן, אם,u v A.x y = rv 1 (x)l 1 ו l u, r v הפיכים, אז uv הוא איבר יחידה עבור הפעולה (y) u הדרכה. באלגברה עם יחידה אפשר לבחור = 1 v u, = והאיזוטופיה שומרת על הפיכות של אופרטורי הכפל. x (uv) = ומצד שני ;(uv) y = r 1 v (uv)l 1 u (y) = ul 1 u (y) = l u l 1 בכיוון ההפוך, אם A נתונה אז u (y) = y.r 1 v (x)l 1 u (uv) = rv 1 (x)v = r u rv 1 (x) = x 1.2 אידיאלים וחוגי מנה בסעיף זה נציג את האובייקטים המשחקים תפקיד מרכזי במבנה הפנימי של חוג: אידיאלים חד צדדיים ודו צדדיים, הומומורפיזמים וחוגי מנה אידיאלים חד צדדיים ודו צדדיים כדי להבין חוגים טוב יותר, עלינו ללמוד תת קבוצות שהמבנה שלהן קשור לזה של החוג כולו. כל הקבוצות שנלמד הן תת חבורות של החבורה החיבורית. הגדרה יהי R חוג. תת חבורה חיבורית L R נקראת אידיאל שמאלי אם לכל a L ו ;xa L,x R במקרה זה מסמנים.L l R בדומה לזה L אידיאל ימני אם ax L לכל a L ו R x; מסמנים L. r R אם I אידיאל שמאלי וימני, הוא נקרא אידיאל דו צדדי (או סתם אידיאל), ואז מסמנים.I R תרגיל (*) הקבוצה {0} היא אידאל של R; זהו האידיאל הטריוויאלי. תרגיל (*) החוג כולו הוא אידיאל, הנקרא אידיאל לא אמיתי; ראו תת הסעיף ''אידיאלים אמיתיים'' בהמשך. לפעמים המונח אידיאל מתייחס לאידיאל אמיתי דווקא (כלומר, כל אידיאל המוכל ממש בחוג). האידיאלים הדו צדדיים אנלוגיים לתת החבורות הנורמליות של חבורה. קומוטטיבי המושגים אידיאל ימני, שמאלי או דו צדדי מתלכדים. בחוג 23

24 1.2. אידיאלים וחוגי מנה פרק 1. חוגים ואידיאלים תרגיל (*+) לכל,a R הקבוצה R} Ra = {xa : x היא אידיאל שמאלי של R. תרגיל (**) אם L R אידיאל שמאלי, אז לכל,a R גם La אידיאל שמאלי. תרגיל (***) אידיאל הוא תת קבוצה של R הסגורה לחיבור ולחיסור, וסופגת כפל. הראה שההנחה על סגירות לחיסור אינה נחוצה. האם תכונה זו נכונה גם כאשר R חוג בלי יחידה? הגדרה אידיאל שמאלי מהצורה Ra נקרא אידיאל ראשי. תרגיל (*) נניח ש I R אידיאל, ו R S תת חוג המכיל את I. אז.I S תרגיל (**) נניח ש I R אידיאל, ו R S תת חוג. אז I S אידיאל של.S איחוד וחיתוך תרגיל (**) תהי Λ משפחה של אידיאלים שמאליים (ימניים, דו צדדיים) של L Λ הוא אידיאל שמאלי (ימני, דו צדדי). הערה. השווה חוג R. הוכח שהחיתוך L לתרגיל תרגיל (*) בפרט, אם L 1, L 2 l R אז,L 1 L 2 l R וכך לכל חיתוך סופי. {( )} 0 0 תרגיל (+**) נתבונן בחוג המטריצות (Q) M. 2 אז {( )} אידיאל ימני. החיתוך שלהם אינו אידיאל. 0 0 שמאלי, ו הוא אידיאל ( ) ( ). R R I R R R R R תרגיל (**) יהי I R אידיאל בחוג. הראה ש ( R ) = M 2 תרגיל (**) יהיו I, I R אידיאלים. הראה ש I I אידיאל אם ורק אם.I I או I I תרגיל (**) הוכח שהאיחוד λ I λ של שרשרת אידיאלים בחוג R (לאו דווקא בת מניה) הוא אידיאל. (השווה לתרגיל , עמ' 44). בפרט, אם 2 I 1 I אידיאלים, אז האיחוד I n הוא אידיאל. 24

25 חוגים ואידיאלים 1.2. אידיאלים וחוגי מנה פרק 1. קבוצת יוצרים את האידיאל הקטן ביותר המכיל קבוצה X R מסמנים בסימון X (השווה להגדרה ). אידיאל זה הוא החיתוך של כל האידיאלים המכילים את X., a = { n תרגיל (***) יהי.a R הראה ש { R i=1 x iax i : x i, x i כאשר הסכומים כולם סופיים אבל n אינו מוגבל. אידיאל שיש לו קבוצת יוצרים סופית הוא אידיאל נוצר סופית. אידיאלים אמיתיים הגדרה אידיאל (שמאלי, ימני או דו צדדי) של R נקרא אמיתי אם הוא מוכל ממש ב R. תרגיל (**) אידיאל שמאלי אמיתי אינו מכיל אף איבר הפיך משמאל. תרגיל (**) אידיאל (חד או דו צדדי) I הוא אמיתי אם ורק אם I 1. תרגיל (**) Ra הוא אידיאל שמאלי אמיתי אם ורק אם a אינו הפיך משמאל. תרגיל (**) נניח ש R קומוטטיבי, ויהי a. R אז a Ra = הוא אידיאל אמיתי אם ורק אם a לא הפיך. תרגיל (**) בהמשך לתרגיל , הראה שאם כל האידיאלים I λ אמיתיים (ובחוג יש איבר יחידה), אז גם I λ אמיתי. הדרכה. תרגיל תרגיל (**+) יהי A 0 חוג בלי יחידה. אם יש a כך ש,A 0 a = aa 0 = A 0 אז A 0 חוג עם יחידה. הדרכה. לפי ההנחה יש e A 0 כך ש a.ae = יהי c. A 0 לפי ההנחה קיים x כך ש xa c; = אבל אז,ce = xae = xa = c והראינו ש e יחידה מימין. באותו אופן יש e כך ש a e, a = ומכיוון שאפשר לכתוב כל c בצורה הוא איבר היחידה של.A 0 e = e יחידה משמאל. לפי תרגיל,1.1.7 e ו e c = c ay = ay = c,c = ay תרגיל (**+) יהי A 0 תחום בלי יחידה. אם יש a A 0 0 כך ש,a aa 0 אז A 0 תחום עם יחידה. הדרכה. לפי ההנחה יש e A 0 כך ש ae.a = אבל אז,ae 2 = ae ולכן = 0 e).a(e 2 מכיוון ש A 0 תחום, e. 2 = e לפי תרגיל (עמ' 15), אידמפוטנט בתחום הוא איבר יחידה. תרגיל (+*) התכונות הבאות שקולות עבור חוג בלי יחידה לא טריוויאלי: 25.a הוא על לכל 0 l a.1

26 1.2. אידיאלים וחוגי מנה פרק 1. חוגים ואידיאלים 2. אין בחוג אידיאלים ימניים אמיתיים. 3. אין בחוג אידיאלים שמאליים אמיתיים. 4. זהו חוג עם חילוק, עם יחידה. הדרכה. נסמן את החוג ב.A 0 :(2) (1) נניח ש a C r A 0,0 אז A = aa 0 C ולכן.C = A 0 :(1) (2) נסמן 0} = 0.I = {x A 0 : xa אז,I r A 0 ולפי ההנחה יש שתי אפשרויות: אם I = A 0 אז = 0 0 A 2 0 = IA בסתירה להנחה ש A 0 אינו טריוויאלי. מכיוון שאין בחוג אידיאלים ימניים לא טריוויאליים, בהכרח = 0 I. לכן, לכל 0 a,,aa 0 0 אבל זהו אידיאל ימני, ומכאן ש.Im(l a) = aa 0 = A 0 :(4) (1) תרגיל (עמ'.(13 :(4) (3) תנאי (4) סימטרי להחלפת ימין שמאל, ולכן הגרירה נובעת מ ( 4) (2 ) שכבר הוכחנו סכום ומכפלה של אידיאלים סכומים סופיים וכלליים יהי R חוג. הסכום של תת קבוצות,A B R הוא A + B = {a + b : a A, b B}; A = { a : a A}, בדומה לזה מגדירים ו ( B ).A B = A + תרגיל (*) R A הוא תת חבורה חיבורית אם ורק אם.A+A = A = A תרגיל (**) יהיו L 1, L 2 R אידיאלים שמאליים (ימניים, דו צדדיים). אז L 1 + L 2 הוא אידיאל שמאלי (ימני, דו צדדי). תרגיל (**) חיבור קבוצות בחוג הוא אסוציאטיבי וקומוטטיבי: + (B A) +.A + B = B + ו A C = A + (B + C) L Λ מוגדר כאוסף הגדרה תהי Λ משפחה של אידיאלים שמאליים של R. אז הסכום L הסכומים הסופיים x x n עבור.x i L i Λ באלגברה כל הסכומים סופיים. כדי שנוכל לחבר אינסוף קבוצות, יש להניח שכמעט כולן כוללות את אפס כאיבר. תרגיל (**) הסכום של משפחת אידיאלים הוא איחוד כל הסכומים הסופיים. 26

27 חוגים ואידיאלים 1.2. אידיאלים וחוגי מנה פרק 1. תרגיל (**) אם כל L Λ הוא אידיאל שמאלי (ימני, דו צדדי), אז גם L Λ L הוא אידיאל שמאלי (ימני, דו צדדי). דוגמא סכום של תת חוגים אינו בהכרח תת חוג. למשל, סכומם של תת החוגים = 1 S ו 0 = 2 S של (Q) M 3 הוא, שאינו סגור לכפל. מכפלה בתורת החבורות המכפלה של שתי תת קבוצות שווה לקבוצת המכפלות. בתורת החוגים ההגדרה אחרת: המכפלה שווה לאוסף הסכומים הסופיים של מכפלות, משום שרק כך אפשר להבטיח שהמכפלה סגורה לחיבור. הגדרה המכפלה של קבוצות,A B R מוגדרת כאוסף של סכומים סופיים, A B = {a 1 b a n b n : a i A, b i B}. תרגיל (***) תן דוגמא לאידיאלים,I J R בחוג (קומוטטיבי) R, כך שאוסף המכפלות J} {xy : x I, y אינו סגור לחיבור. תרגיל (**) כפל קבוצות בחוג הוא פעולה אסוציאטיבית: לכל C,A,B (A+B)C = הכפל גם דיסטריבוטיבי ביחס לחיבור:.(AB)C = A(BC) מתקיים R.A(B + C) = AB + ו AC AC + BC תרגיל (**) תת חבורה חיבורית L R היא תת חוג אם ורק אם ;LL L אידיאל שמאלי אם ורק אם ;RL L אידיאל ימני אם ורק אם ;LR L אידיאל אם ורק אם.RL + LR L תרגיל (**) יהיו a, b R אברים בחוג קומוטטיבי.R אז.Ra Rb = Rab במובן זה כפל של אידיאלים ראשיים מכליל את הכפל של איברים בחוג. המכפלה מאפשרת ליצור מאידיאל שמאלי ואידיאל ימני אידיאל דו צדדי: תרגיל (**) הראה שאם L l R אידיאל שמאלי ו R T r אידיאל ימני, אז.LT R 27 ובפרט:

28 1.2. אידיאלים וחוגי מנה פרק 1. חוגים ואידיאלים תרגיל (**) הראה שהמכפלה IJ של שני אידיאלים,I J R היא אידיאל של R. תרגיל (**) לכל שני אידיאלים.IJ I J,I, J R תרגיל (**) אם R חוג קומוטטיבי ו S 1, S 2 תת חוגים, אז S 1 S 2 הוא תת חוג. תרגיל (***) תן דוגמא לחוג (לא קומוטטיבי) R עם שני תת חוגים S 1, S 2 כך שהמכפלה S 1 S 2 אינה תת חוג. הצעה. קח S 1 = F + yr ו Rx S 2 = F + כאשר F שדה ו y R = F,x היא האלגברה החופשית מעליו (הגדרה ). נסה למצוא דוגמא שבה ) (F.R = M n תרגיל (**) יהי R חוג עם מרכז Z(R),Z = ויהי S R תת חוג. הראה ש ZS הוא תת חוג של R. (עובדה זו מוליכה להגדרה ) תרגיל (**) יהי L l R אידיאל שמאלי; אז לכל קבוצה LA A, הוא אידיאל שמאלי. בפרט, כל קבוצה מהצורה Lx היא אידיאל שמאלי. טענה יהי I אידיאל של R. אם A הוא תת חוג, אידיאל שמאלי או אידיאל, אז A + I הוא תת חוג, אידיאל שמאלי או אידיאל, בהתאמה. בפרט: תרגיל (+**) יהיו I R ו R S אידיאל ותת חוג. אז I + S הוא תת חוג של R. סריג האידיאלים הגדרה קבוצה F עם יחס סדר חלקי נקראת סריג אם לכל שני אברים,x y F יש מינימום לקבוצת האברים הגדולים מ y,x, ומקסימום לקבוצת האברים הגדולים מ y,x. יהי F סריג. את האיבר המינימלי הגדול מ y,x מסמנים x, y ואת המקסימלי בקבוצת האברים הקטנים מהם מסמנים x. y תרגיל (**) הפעולות הבינאריות, מקיימות את התכונות הבאות:.1 קומוטטיביות:.x y = y x,x y = y x.2 אסוציאטיביות: z).(x y) z = x (y z),(x y) z = x (y 28

29 חוגים ואידיאלים 1.2. אידיאלים וחוגי מנה פרק 1..3 ספיגה:.x (x y) = x,x (x y) = x.4 אידמפוטנטיות:.x x = x,x x = x תרגיל ( **) תכונת האידמפוטנטיות נובעת מתכונת הספיגה. הדרכה. חשב את.x (x (x x)) תרגיל (***) אם קבוצה F מצויידת בפעולות בינאריות המקיימות את האקסיומות שבתרגיל, אז y'' x אם ורק אם ''x y = x (אם ורק אם x) y = y מגדיר יחס סדר חלש על F, ועבורו x y הוא האיבר המינימלי בין כל האברים הגדולים מ y,x, ו y x האיבר המקסימלי בין הקטנים מ y,x. תרגיל (**) אוסף תת הקבוצות של קבוצה X, המסודר לפי הכלה, הוא סריג. אוסף האידיאלים של חוג סדור ביחס להכלה. משפט אוסף האידיאלים של חוג, עם יחס ההכלה, הוא סריג, שבו I J = I + J ו.I J = I J הוכחה. האידיאל הקטן ביותר המכיל את,I J הוא I, + J והאידיאל הגדול ביותר המוכל בשניהם הוא I. J מאפסים הגדרה אם B R תת קבוצה כלשהי, המאפס השמאלי של B הוא = (B) Ann l.ann r (B) = {x R : Bx = 0} המאפס הימני הוא.{x R : xb = 0} אם R קומוטטיבי שני המושגים מתלכדים כמובן, ואפשר לכתוב.Ann(B) (נחזור לנושא זה בהגדרה ) תרגיל (+*) לכל תת קבוצה B, המאפס השמאלי (B) Ann l הוא אידיאל שמאלי של R; המאפס הימני (B) Ann r הוא אידיאל ימני. תרגיל (**) כל מאפס שמאלי שווה למאפס השמאלי של אידיאל ימני כלשהו. תרגיל (+*) מאפס שמאלי של אידיאל שמאלי הוא אידיאל דו צדדי: אם.Ann l (I) R אידיאל שמאלי, אז I l R 29

30 1.2. אידיאלים וחוגי מנה פרק 1. חוגים ואידיאלים.1 הראה שאם I J אז (I).Ann l (J) Ann l תרגיל (**+) הראה ש (I)).I Ann r (Ann l.3 הראה שלכל קבוצה.Ann l (Ann r (Ann l (B))) = Ann l (B),B R תרגיל (**) (J).Ann l (I + J) = Ann l (I) Ann l תרגיל (+**) יהי R חוג קומוטטיבי. לכל שני אידיאלים,I, A R נסמן (A : I) = {x R : Ix A}. יהיו.I, J, A, B, C R.(A : I)I A הוא אידיאל. זהו האידיאל הגדול ביותר המקיים (A : I).1 בפרט I).A (A :.(0 : I) = Ann(I).2.3 מונוטוניות: אם I J אז I) (A : J) (A : ו ( A.(I : A) (J : m I d I m I ו = m I.4 הפעולות m I (A) = IA ו ( I d I (A) = (A : מקיימות.d I m I d I = d I.(B : C)(A : B) (A : C).5.A(B : I) (AB : I).6.((A : B) : C) = (A : BC).7.I (A : (A : I)).8.(A : I) (AB : IB).9.(A : I + J) = (A : I) (A : J).10 תרגיל (**) יהי L l R אידיאל שמאלי. הראה שהמאדל L} L = {x R : Lx הוא תת החוג הגדול ביותר של R שבו L הוא אידיאל דו צדדי. 1 Lb L l ואיבר,b R נסמן = 1 תרגיל (**) לכל אידיאל שמאלי R.(b מגדירים כאן את 1 (איננו {x : xb L} 30

31 חוגים ואידיאלים 1.2. אידיאלים וחוגי מנה פרק הראה ש Lb ו 1 Lb הם אידיאלים שמאליים..2 נניח ש L Lb (כלומר L,b ראה תרגיל.( אז,Lb 1 b = L Rb,Lbb 1 = L + 0b 1 Lbb 1 b = Lb Lb 1 b L Lbb 1 Lb 1 = Lb 1 bb 1, ואלו כל האידיאלים שאפשר לקבל מ L על ידי הפעלת האופרטורים L Lb ו 1 Lb L לסירוגין חוגי מנה יהי R חוג. לכל תת חבורה I של החבורה החיבורית, חבורת המנה R/I הכוללת את כל הקוסטים I} a + I = {a + x : x היא אכן חבורה. השאלה היא מתי פעולת הכפל של נציגים מוגדרת היטב, ומתי אוסף הקוסטים הוא חוג. תרגיל (**) פעולת הכפל (a + I)(b + I) = ab + I מוגדרת היטב (כלומר, בלתי תלויה בנציגים), אם ורק אם.I R תרגיל (**) נניח ש I R. אז R/I עם הפעולות לפי נציגים הוא חוג, שבו איבר היחידה הוא + I הומומורפיזמים הומומורפיזם הוא פונקציה בין מבנים, השומרת על הפעולות (ועל היחסים והקבועים, כשיש כאלה). הגדרה יהיו,R S חוגים. הומומורפיזם של חוגים הוא פונקציה φ : R S השומרת על החיבור והכפל, כלומר, מקיימת φ(y) φ(x + y) = φ(x) + ו ( φ(x)φ(y,φ(xy) = ומקיימת בנוסף את התנאי.φ(1 R ) = 1 S (ראו הכללה בהגדרה ( יש סוגי הומומורפיזם שקיבלו שמות מיוחדים: הגדרה הומומורפיזם R S נקרא אפימורפיזם או הטלה אם הוא על; מונומורפיזם או שיכון אם הוא חד חד ערכי; איזומורפיזם אם הוא חד חד ערכי ועל. הגדרה הומומורפיזם מחוג לעצמו,,R R נקרא אנדומורפיזם; ואם הוא חד חד ערכי ועל, אוטומורפיזם. כל המונחים האלה מקובלים גם בתורת החבורות. 31

32 1.2. אידיאלים וחוגי מנה פרק 1. חוגים ואידיאלים הומומורפיזמים של חוגים בלי יחידה הגדרה יהיו R, S חוגים בלי יחידה. פונקציה φ : R S המקיימת + φ(x) φ(x + y) = φ(y) ו ( φ(x)φ(y φ(xy) = נקראת הומומורפיזם של חוגים בלי יחידה. כלומר, הומומורפיזם של חוגים בלי יחידה אינו נדרש לקיים את התנאי 1)φ. R ) = 1 S אכן, אם R או S הם חוגים בלי יחידה, אין מנוס מלדבר על הומומורפיזמים כאלה. תרגיל (**) יהיו R, S חוגים. הפונקציה R S המוגדרת לפי = 0 φ(x) לכל x R היא הומומורפיזם של חוגים בלי יחידה, אבל אינה הומומורפיזם. לפעמים הומומורפיזם של חוגים בלי יחידה מוכרח בכל זאת להיות הומומורפיזם של חוגים: תרגיל (**) אם R חוג (עם יחידה) ו φ : R S אפימורפיזם של חוגים בלי יחידה, אז S חוג עם יחידה ו φ הוא אפימורפיזם של חוגים. תרגיל ( ***) אם R חוג עם יחידה ו φ : R S הומומורפיזם, 0,φ ובנוסף S תחום (הגדרה ), אז S חוג עם יחידה ו 1)φ. R ) = 1 S (הדרכה. הראה ש φ(1 R ) 2 x = φ(1 R )x לכל.(x S תרגיל (**) מצא את כל ההומומורפיזמים של חוגים בלי יחידה,Z Z ואת כל אלה מביניהם שהם הומומורפיזמים של חוגים. הגרעין והתמונה לכל הומומורפיזם מתלווים שני מבנים מוכרים: הגדרה יהי φ : R S הומומורפיזם של חוגים (עם יחידה או בלעדיה). התמונה של φ היא.Ker(φ) = {x : φ(x) = 0} הוא φ הגרעין של.Im(φ) = {φ(x) : x S} תרגיל (**) התמונה של הומומורפיזם R S היא תת חוג של S, והגרעין הוא אידיאל של R. לכן כל הומומורפיזם הוא על התמונה של עצמו. לכל מונומורפיזם φ φ, : R S היא איזומורפיזם בין R לבין התמונה,Im(φ) שהיא תת חוג של S. לכן אפשר לראות ב R תת חוג של S, וזו הסיבה לכך שמונומורפיזם נקרא גם שיכון. לפעמים מסמנים שיכון R S בסימן.R S תרגיל ( **) φ : R S הוא חד חד ערכי אם ורק אם = 0.Ker(φ) 32

33 חוגים ואידיאלים 1.2. אידיאלים וחוגי מנה פרק 1. לפי תרגיל כל גרעין הוא אידיאל; גם ההיפך נכון - כל אידיאל הוא גרעין של הומומורפיזם: תרגיל (+**) יהי I R אידיאל. הראה שהפונקציה θ : R R/I המוגדרת לפי θ(a) = a + I היא אפימורפיזם. אפימורפיזם זה נקרא ההטלה הקנונית ביחס ל I. תרגיל (**) יהי R חוג בלי יחידה. הגדר R 1 = Z R עם החיבור לפי רכיבים והכפל xy).(n, x)(m, y) = (nm, ny + mx + הוכח ש R ˆ חוג עם יחידה, וש ( x x,0) הוא שיכון של חוגים בלי יחידה.R R 1 כלומר, כל חוג בלי יחידה אפשר לשכן בחוג עם יחידה. תרגיל ( ***) בהמשך לתרגיל , תאר את האידיאלים של Rˆ. כהכללה של תרגיל , מתקיימת התכונה הבאה: תרגיל (**) יהי φ : R S הומומורפיזם. לכל,I S המקור = (I) φ 1.R הוא אידיאל של {x R : φ(x) I} תרגיל (**) אם φ : R S על, אז לכל אידיאל I R גם.φ(I) S ובכל זאת, באופן כללי תמונת אידיאל אינה בהכרח אידיאל: תרגיל ( ***) תן דוגמא לכך שהתמונה של אידיאל אינה בהכרח אידיאל. חוגים איזומורפיים כמו בתורת החבורות (ובכל מבנה מתמטי אחר), איזומורפיזם הוא פונקציה חד חד ערכית ועל בין מבנים, השומרת על הפעולות (ועל היחסים והקבועים, כשיש כאלה). הגדרה יהיו R,R חוגים. איזומורפיזם של חוגים הוא פונקציה חד חד ערכית ועל R R φ : השומרת על החיבור והכפל, כלומר, מקיימת φ(x)+φ(y) φ(x+y) = ו ( φ(x)φ(y,φ(xy) = ומקיימת בנוסף את התנאי R.φ(1 R ) = 1 (ראו הגדרה ) תרגיל (**) יהי R R φ : איזומורפיזם של חוגים. הראה שהפונקציה ההפוכה φ 1 : R R גם היא איזומורפיזם. 33

34 1.2. אידיאלים וחוגי מנה פרק 1. חוגים ואידיאלים חוגים שיש ביניהם איזומורפיזם הם חוגים איזומורפיים. האיזומורפיזם מאפשר לתרגם כל טענה אלמנטרית מחוג אחד לרעהו, ולכן כשהחוגים איזומורפיים חושבים עליהם כאילו הם למעשה אותו חוג. בבעיות תאורטיות מעוניינים במיון של חוגים עד כדי איזומורפיזם, ולא מעבר לכך, משום שלכל חוג אפשר להצמיד באופן מלאכותי מחלקה שלמה של חוגים איזומורפיים: {ω} R = R לכל איבר ω של הקבוצה האוניברסלית. כדי להראות שחוגים אינם איזומורפיים די להצביע על תכונה שבה הם שונים: חוג קומוטטיבי אינו יכול להיות איזומורפי לחוג לא קומוטטיבי, וכן הלאה. ההוכחה שחוגים מסויימים הם כן איזומורפיים עשויה לדרוש הכרה טובה של שני החוגים, וטכניקות מגוונות משפטי האיזומורפיזם משפטי האיזומורפיזם של חוגים דומים לאלו של חבורות. משפט (משפט האיזומורפיזם הראשון) לכל הומומורפיזם של חוגים ϕ, : R S חוג המנה R/Ker(ϕ) איזומורפי ל ( Im(ϕ. תרגיל (**) יהי I R אידיאל. הראה ש ( I ) M n אידיאל של (R) M, n וש.M n (R)/M n (I) = M n (R/I).Z n תרגיל (**) הראה ש Z/nZ = תרגיל (**+) נסמן 1 =.i הוכח:.Z[i]/ 2 + i = Z[i]/ 2 i = Z/5Z משפט (משפט האיזומורפיזם השני) אם I R אידיאל ו S R תת חוג, אז: S + I תת חוג של R (זהו תרגיל ), I אידיאל שלו (תרגיל 1.2.8), I S אידיאל של S (תרגיל 1.2.9), ומתקיים S/S I = (S + I)/I. תרגיל (**) יהיו φ : R S הומומורפיזם ו I S. לפי תרגיל, = I.R/I = (Im(φ) + I)/I הראה ש S/I.φ 1 (I) R תרגיל (**) יהיו R φ : R שיכון ו R.I אם I = I R אז יש שיכון.R/I R /I משפט (משפט האיזומורפיזם השלישי) אם I J אידיאלים של R, אז J/I אידיאל של,R/I ו.(R/I)/(J/I) = R/J 34

35 חוגים ואידיאלים 1.2. אידיאלים וחוגי מנה פרק 1. טענה כל הומומורפיזם הוא הרכבה של שיכון, איזומורפיזם, והטלה. הוכחה. יהי φ : R S הומומורפיזם. נסמן Ker(φ) K, = ואז R R/K הטלה ו שווה ל φ. R R/K = Im(φ) S שיכון, וההרכבה R/K = Im(φ) S תרגיל (**) יהיו R חוג ו I R אידיאל שלו. אז לכל אידיאל I, A R I A R עבור α = A/I הוא מהצורה α R/I ולהיפך, כל אידיאל ;A/I R מתאים x).(a = x α תרגיל מאפשר לסכם את משפטי האיזומורפיזם במשפט מרכזי על אידיאלים: משפט (משפט ההתאמה) יהי I אידיאל של חוג R. ההתאמה A A/I היא איזומורפיזם של סריגים מאוסף R שמכילים את I, אל אוסף האידיאלים של.R/I ההתאמה שומרת הכלה, חיבור, כפל וחיתוך, ומנות. תת החוג היסודי תרגיל (**) לכל חוג R קיים הומומורפיזם יחיד.Z R התמונה של Z ב R היא תת חוג, הנקרא תת החוג היסודי של R. (תת החוג היסודי נקרא בדרך כלל ''תת החוג הראשוני'', אלא שהקשר בינו לבין חוג ראשוני שיוגדר בהמשך רופף למדי, והעדפנו לשנות את הטרמינולוגיה המקובלת.) תרגיל (**) לפי משפט לגרעין של Z R יש הצורה,nZ לאיזשהו n טבעי. הראה ש n הוא המאפיין של R. תרגיל (**) יהי R חוג שהמאפיין שלו n. הראה ש Z n (איזומורפי ל)תת חוג של R. תת חוג זה נקרא תת החוג היסודי של R. אם R נוצר סופית מעל תת החוג היסודי שלו (הגדרה ), אומרים שהוא נוצר סופית. הומומורפיזם ויוצרים תרגיל (*) יהיו R, S חוגים, R 0 R תת חוג, ו R S φ : הומומורפיזם. הצמצום φ 0 : R 0 S של φ מ R ל,R 0 המוגדר לפי φ(c) φ 0 (c) = (לכל,(c R 0 הוא הומומורפיזם. R φ S φ R 0 הגדרה יהיו R 0 R ו S חוגים, ויהיו φ : R S ו S φ 0 : R 0 הומומורפיזמים. אומרים ש φ מרחיב את φ 0 אם φ 0 הוא הצמצום של φ אל R. 0 35

36 1.2. אידיאלים וחוגי מנה פרק 1. חוגים ואידיאלים תרגיל (**+) יהי R 0 תת חוג של.R נניח ש [ X ] R = R 0 כאשר.X R הראה שאם לשני הומומורפיזמים R S אותו צמצום ל R 0 והם מסכימים על אברי X, אז הם שווים. תרגיל (**) יהי φ : R S הומומורפיזם, ויהי R[x] חוג הפולינומים במשתנה אחד מעל R. הראה שלכל איבר a במרכז (Im(φ)) C S קיים הומומורפיזם יחיד φ : R[x] S המרחיב את φ ומקיים φ(x) = a. כאשר φ שיכון, זהו ''הומומורפיזם ההצבה''.x a תרגיל (**) אם R נוצר על ידי איבר אחד מעל תת חוג מרכזי R, 0 אז R. 0 [x] הוא חוג מנה של חוג הפולינומים R תרגיל (**) כל חוג קומוטטיבי נוצר סופית מעל פולינומים ] n.r 0 [λ 1,..., λ R 0 הוא מנה של חוג תרגיל (***) (בהמשך לתרגיל ) תן דוגמא לחוג R עם תת חוג R 0 ואיבר,t R כך ש [ t ] R = R 0 (כלומר, R נוצר מעל R 0 על ידי ;t הוא אינו בהכרח חוג פולינומים), עם חוג S והומומורפיזם φ, : R S עם איבר a, S כך שלא קיים הומומורפיזם המרחיב את φ ומעביר את t ל a. החוג החופשי בסעיף זה נספק הכללה לתרגיל תהי X קבוצה של סמלים. המונויד החופשי מעל X הוא האוסף F X של מלים,x 1,..., x n X,x 1 x n עם פעולת ההדבקה. המלה הריקה היא האיבר הנייטרלי של המונויד. הגדרה יהי R 0 חוג. החוג החופשי הנוצר על ידי X מעל R 0 הוא אוסף כל הביטויים הפורמליים α i w i כאשר α i R 0 ו,w i F X עם פעולות החיבור והכפל הטבעיות; כמו בחוג הפולינומים, הסקלרים מ R 0 מתחלפים עם כל איבר של X. את החוג החופשי מסמנים ב X R. 0 דוגמא אם {x} X = קבוצה בת איבר אחד, X R 0 אינו אלא חוג הפולינומים.R 0 [x] אם y} X = {x, אז X R 0 כולל ביטויים כמו.x yxx + 3xy שלא כמו בחוג הפולינומים בשני משתנים, בחוג הזה.xy yx תרגיל ( ***) יהי φ : R 0 S הומומורפיזם, ויהי R X החוג החופשי הנוצר על ידי הקבוצה X מעל.R 0 הראה שלכל פונקציה (Im(φ)) f : X C S קיים הומומורפיזם יחיד φ : R X S כך ש ( φ(c φ(c) = לכל,c R ו ( f(x φ(x) = לכל.x X תרגיל ( ***) כל חוג S הנוצר סופית מעל R 0 הוא מנה של חוג חופשי n,r 0 x 1,..., x ל n כלשהו. הערה. אם,φ : R 0 x 1,..., x n S כל קבוצת יוצרים של Ker(φ) (כאידיאל) נקראת קבוצת יחסים עבור S. 36